Random reals à la Chaitin with or without prefix-freeness

نویسندگان

  • Verónica Becher
  • Serge Grigorieff
چکیده

We give a general theorem that provides examples of n-random reals à la Chaitin, for every n ≥ 1; these are halting probabilities of partial computable functions that are universal by adjunction for the class of all partial computable functions, The same result holds for the class functions of partial computable functions with prefix-free domain. Thus, the usual technical requirement of prefix-freeness on domains is an option which we show to be non critical when dealing with universality by adjunction. We also prove that the condition of

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From Index Sets to Randomness in ∅: Random Reals and Possibly Infinite Computations Part Ii

We obtain a large class of significant examples of n-random reals (i.e., Martin-Löf random in oracle ∅) à la Chaitin. Any such real is defined as the probability that a universal monotone Turing machine performing possibly infinite computations on infinite (resp. finite large enough, resp. finite self-delimited) inputs produces an output in a given set O ⊆ P(N). In particular, we develop method...

متن کامل

Real Numbers: From Computable to Random

A real is computable if it is the limit of a computable, increasing, computably converging sequence of rationals. Omitting the restriction that the sequence converges computably we arrive at the notion of computably enumerable (c.e.) real, that is, the limit of a computable, increasing, converging sequence of rationals. A real is random if its binary expansion is a random sequence (equivalently...

متن کامل

Ramdom Reals and Possibly Infinite Computations. Part I: Randomness in ∅′ Verónica Becher and Serge Grigorieff

Using possibly infinite computations on universal monotone Turing machines, we prove Martin-Löf randomness in ∅′ of the probability that the output be in some set O ⊆ 2≤ω under complexity assumptions about O. §1. Randomness in the spirit of Rice’s theorem for computability. Let 2∗ be the set of all finite strings in the binary alphabet 2 = {0, 1}. Let 2ω be the set of all infinite binary sequen...

متن کامل

Very Simple Chaitin Machines for Concrete AIT University of Auckland , New Zealand

In 1975, Chaitin introduced his celebrated Omega number, the halting probability of a universal Chaitin machine, a universal Turing machine with a prefix-free domain. The Omega number's bits are algorithmically random—there is no reason the bits should be the way they are, if we define " reason " to be a computable explanation smaller than the data itself. Since that time, only two explicit uni...

متن کامل

Very Simple Chaitin Machines for Concrete AIT

In 1975, Chaitin introduced his celebrated Omega number, the halting probability of a universal Chaitin machine, a universal Turing machine with a prefix-free domain. The Omega number’s bits are algorithmically random—there is no reason the bits should be the way they are, if we define “reason” to be a computable explanation smaller than the data itself. Since that time, only two explicit unive...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 385  شماره 

صفحات  -

تاریخ انتشار 2007